FDL - Nuprl Definition : K-implements

Nuprl Definition : K-implements

11,40

pr implements kpr == K-sem(S;equiv)(kpr,S(pr))

clarification:

K-implements(S;equiv;pr;kpr) == K-sem(S;equiv)(kpr,S(pr))

Definitions K-sem(S;equiv)

FDL editor aliases K-implements

Definitions	K-sem(S;equiv)
FDL editor aliases	K-implements